$\forall$$T$:Type, $l$:($T$ List), $x$:$T$. l\_member!($x$; $l$; $T$) $\in$ prop\{i:l\}